381. Non-monotonic extensions of logic programming :
Author: Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming.,Nonmonotonic reasoning.
Classification :
QA76
.
63
.
N68
1995
382. Non-monotonic extensions of logic programming : Second International Workshop NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
Author: Jurgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Nonmonotonic reasoning
Classification :
QA
76
.
L28
Vol
.
1216
383. Nonmonotonic and inductive logic : Second International Workshop Reinhardsbrunn Castle, Germany, December 2-6, 1991 : proceedings
Author: G. Brewka, K.P. Jantke, P.H. Schmitt )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
659
384. Nonmonotonic and inductive logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990: proceedings
Author: J. Dix, K.P. Jantke, P.H. Schmitt )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic programming,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
543
385. Operations Research
Author: R.Panneerselvam
Library: Central Library Yasuj University (Kohgiluye va Buyer ahmad)
Subject: Operations research,Mathematical optimization,Logic programming
Classification :
658
,.
4032
,
P27
,
2007
386. Optimization and computational logic
Author: McAloon, Kenneth.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Linear programming , Mathematical optimization , Logic, Symbolic and mathematical
Classification :
T
57
.
74
.
M39
1996
387. Over-constrained systems
Author: Michael Jampel, Eugene Freuder, Michael Maher, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Constraints )Artificial intelligence(,، System analysis
Classification :
QA
76
.
L28
Vol
.
1106
388. P-Functions and Boolean matrix factorization : a unified approch for wired, programmed, and microprogrammed implementations of discrete algorithms
Author: Thayse, Andre, 0491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Logic design,، Algorithms,، Algebra, Boolean
Classification :
QA
76
.
L28
Vol
.
175
389. P-Prolog, a parallel logic programming language
Author: Yang, Rong
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987
390. P-Prolog a parallel logic programming language
Author: Yang, Rong
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12V36
1987
391. P-Prolog, a parallel logic programming language
Author: Yang, Rong
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
.
Y36
1987
392. P-Prolog, a parallel logic programming language
Author: Yang, Rong.
Library: Central Library and Documentation Center (Kerman)
Subject: ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
73
.
P12
Y36
1987
393. P-functions and Boolean matrix factorization: a unified approach for wired, programmed, and microporogrammed implementations of discrete algorithms
Author: Thayse, Andre
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
Classification :
QA
76
.
6
.
T4452
1984
394. P-functions and Boolean matrix factorization : a unified approach for wired, programmed, and microprogrammed implementations of discrete algorithms
Author: Thayse, Andre
Library: Central Library and Documentation Center (Kerman)
Subject: ، Electronic digital computers - Programming,، Logic design,، Computer algorithms,، Algebra, Boolean
Classification :
QA
76
.
L4
v
.
175
395. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
396. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
Classification :
QA76
.
642
.
B484
2006
397. Parallel and distributed logic programming
Author: / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
Library: Central Library and Information Center of the University of Mohaghegh Ardabili (Ardabil)
Subject: Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
Classification :
QA76
.
642
.
B484
2006
398. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
Author: Bhattacharya, Alakananda
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
Classification :
QA
76
.
642
.
B484
399. Parallel execution of logic programs : ICLP'91 Pre- Conference workshop, Paris, June 24, 1991 : proceedings
Author: A. Beaumont, G. Gupta )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Parallel processing )Electronic computers(,Congresses ، Logic programming
Classification :
QA
76
.
L28
Vol
.
569
400. Parallel logic programming
Author: Takeuchi, Akikazu
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Parallel programming )Computer science(,، Logic programming
Classification :
QA
76
.
642
.
T35
1992
